The assessment of interlocking control algorithm developed by Rhapsody
نویسندگان
چکیده
Train signal system is responsible for safety of train operation by controlling train safety distance and train route. In Europe, new safety standards are firmly defined for verifying and validating safety of this system (EN50126, EN50128). These standards require certification about organization, process, tools which are necessary for system development. In case of developing main algorithms of the signal system, the requirement for these standards can be achieved by applying the development tools of formal method based on Unified Modeling Language (UML). This paper indicates the result of assessment of train interlocking control algorithm using a simulator which realizes train operation based on moving block. And the algorithm based on moving block was designed by Rhapsody, the software development tool.
منابع مشابه
Structural Reliability: An Assessment Using a New and Efficient Two-Phase Method Based on Artificial Neural Network and a Harmony Search Algorithm
In this research, a two-phase algorithm based on the artificial neural network (ANN) and a harmony search (HS) algorithm has been developed with the aim of assessing the reliability of structures with implicit limit state functions. The proposed method involves the generation of datasets to be used specifically for training by Finite Element analysis, to establish an ANN model using a proven AN...
متن کاملSimulating Rhapsody SysML Blocks in Hybrid Models with FMI
The Functional Mockup Interface (FMI) standard enables hybrid simulation of models from different tools. Such tools can have different underlying behavioral semantics, creating challenges when models are combined. A case in point is the combination of the Rhapsody tool, widely used to describe and implement discrete control behavior, and Modelica, widely used to describe continuous plant behavi...
متن کاملAPPLICATION OF FINITE ELEMENT MODEL UPDATING FOR DAMAGE ASSESSMENT OF SPACE STRUCTURE USING CHARGED SYSTEM SEARCH ALGORITHM
Damage assessment is one of the crucial topics in the operation of structures. Multiplicities of structural elements and joints are the main challenges about damage assessment of space structure. Vibration-based damage evaluation seems to be effective and useful for application in industrial conditions and the low-cost. A method is presented to detect and assess structural damages from changes ...
متن کاملApplication Flatness Technique for Intelligent Control of a New Electric Energy Source
In this paper, an intelligent control strategy based on combination of the “flatness based control technique” and the “perturbation and observation (P&O) MPPT algorithm” is developed and investigated to control a hybrid electric energy source (HEPS). This EHPS is composed of a fuel cell system (FC) and a solar panel (SP), as the main source and a supercapacitor bank (SC), as the auxiliary sourc...
متن کاملA study on behavior of block pavement using 3D finite element method
Three dimensioned finite element analysis were conducted on concrete block paving. In order to verify the calculated results, an experimental case study was analyzed. Good agreement was observed between the measured and the calculated results. Based on the finite element analysis results and available failure models, comprehensive design charts were developed for port and industrial pavement wh...
متن کامل